Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
711	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
712	SOMA Analytics Data Scientist (full-time) Add to Reading List Source URL: www.soma-analytics.de Language: English - Date: 2015-01-15 05:47:54 Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Soma Machine learning Visualization Science Knowledge Learning
713	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
714	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
715	Selected Topics in Formal Epistemology WinterInstructor: E-Mail: Office: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:57 Statistical inference Bayesian statistics Philosophy of science Wagering Imprecise probability Bruno de Finetti Bayesian probability Formal epistemology Isaac Levi Statistics Probability Probability theory
716	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
717	1 A note on the formal treatment of exploitation in a model with heterogenous labor G´erard Dum´enil, Duncan Foley, and Dominique L´evy This note is devoted to presenting the formal generalization of Marx’s analysis Add to Reading List Source URL: www.jourdan.ens.fr Language: English - Date: 2009-07-16 10:45:31 Sociology Transformation problem Surplus value Marxian economics Prices of production Productive and unproductive labour Labour power Commodity Exploitation Marxist theory Political science Economics
718	T +Santiago Zanella Béguelin H +u + Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Proof assistant Science Software Computing Formal sciences Coq GlobalPlatform
719	Marc Lelarge email: http://www.di.ens.fr/~lelarge +33 INRIA - ENS Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-16 16:48:04 Don Towsley Network science Information theory Theoretical computer science Academia Knowledge Cybernetics Formal sciences Science
720	Mining Apps to Learn Normal Behavior Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 2014-10-21 03:47:57 Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering

UPDATE